Topological elementary equivalence of closed semi-algebraic sets in the real plane
نویسندگان
چکیده
منابع مشابه
Topological Elementary Equivalence of Closed Semi-Algebraic Sets in The Real Plane
We investigate topological properties of subsets S of the real plane expressed by rst order logic sentences in the language of the reals aug mented with a binary relation symbol for S Two sets are called topo logically elementary equivalent if they have the same such rst order topological properties The contribution of this paper is a natural and e ective characterization of topological element...
متن کاملSemi-algebraic neighborhoods of closed semi-algebraic sets
— Given a closed (not necessarly compact) semi-algebraic set X in Rn, we construct a non-negative semi-algebraic C2 function f such that X=f−1(0) and such that for δ > 0 sufficiently small, the inclusion of X in f−1([0, δ]) is a retraction. As a corollary, we obtain several formulas for the Euler characteristic of X. Résumé. — Étant donné un ensemble semi-algébrique fermé (non nécessairement co...
متن کاملAn Elementary Proof of Schmüdgen’s Theorem on the Moment Problem of Closed Semi-algebraic Sets
We prove the main result from Schmüdgen’s 2003 article in a more elementary way. The result states that the question of whether a finitely generated preordering has the so-called strong moment property can be reduced to the same question for preorderings corresponding to fiber sets of bounded polynomials.
متن کاملElementary equivalence of lattices of open sets definable in o-minimal expansions of real closed fields
It is well-known that any two real closed fields R and S are elementarily equivalent. We can then consider some simple constructions of new structures out of real closed fields, and try to determine if these constructions, when applied to R and S, give elementarily equivalent structures. We can for instance consider def(R, R), the ring of definable functions from R to R, and we obtain without d...
متن کاملReal Homotopy Theory of Semi-algebraic Sets
We complete the details of a theory outlined by Kontsevich and Soibelman that associates to a semi-algebraic set a certain graded commutative differential algebra of “semi-algebraic differential forms” in a functorial way. This algebra encodes the real homotopy type of the semialgebraic set in the spirit of the DeRham algebra of differential forms on a smooth manifold. Its development is needed...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Symbolic Logic
سال: 2000
ISSN: 0022-4812,1943-5886
DOI: 10.2307/2695063